$\forall$$T$:Type, ${\it as}$:($T$ List), $f$,$g$:($T$$\rightarrow\mathbb{B}$). priority{-}select($f$; $g$; ${\it as}$) $\in$ (?$\mathbb{B}$)